Formal power series with cyclically ordered exponents
نویسنده
چکیده
We define and study a notion of ring of formal power series with exponents in a cyclically ordered group. Such a ring is a quotient of various subrings of classical formal power series rings. It carries a two variable valuation function. In the particular case where the cyclically ordered group is actually totally ordered, our notion of formal power series is equivalent to the classical one in a language enriched with a predicate interpreted by the set of all monomials.
منابع مشابه
The Universality of Formal Power Series Fields*
In a recent paper,f André Gleyzal has constructed ordered fields consisting of certain "transfinite real numbers" and has established the interesting result that any ordered field can be considered as a subfield of one of these transfinite fields. These fields prove to be identical with fields of formal power series in which the exponents are allowed to range over a suitable ordered abelian gro...
متن کاملGeneral Hardy-Type Inequalities with Non-conjugate Exponents
We derive whole series of new integral inequalities of the Hardy-type, with non-conjugate exponents. First, we prove and discuss two equivalent general inequa-li-ties of such type, as well as their corresponding reverse inequalities. General results are then applied to special Hardy-type kernel and power weights. Also, some estimates of weight functions and constant factors are obtained. ...
متن کاملRota-baxter Operators on Generalized Power Series Rings
An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملMultivariate Polynomials with Arbitrary Number of Variables1
The goal of this article is to define multivariate polynomials in arbitrary number of indeterminates and then to prove that they constitute a ring (over appropriate structure of coefficients). The introductory section includes quite a number of auxiliary lemmas related to many different parts of the MML. The second section characterizes the sequence flattening operation, introduced in [9], but ...
متن کامل